COPYRIGHT NOTICE: Brian Steensland: The Failed Welfare Revolution is published by Princeton University Press and copyrighted, © 2007, by Princeton University Press. All rights reserved. No part of this book may be repro

Source URL: press.princeton.edu

Estimating Eigenvalues in the Streaming Model Alexandr Andoni (Microsoft Research SVC) Huy L. Nguyen (Princeton University) Eigenvalues

Source URL: ls2-www.cs.uni-dortmund.de

Leveraging Preposition Ambiguity to Assess Compositional Distributional Models of Semantics Samuel Ritter∗ Princeton University Cotie Long

Source URL: clic.cimec.unitn.it

Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Logic
• Data types
• Functional programming
• Lambda calculus
• Type theory
• Logic in computer science
• Eval
• Hoare logic
• Anonymous function
• Separation logic

SoftCell: Scalable and Flexible Cellular Core Network Architecture Xin Jin† , Li Erran Li? , Laurent Vanbever† , and Jennifer Rexford† Princeton University† , Bell Labs? ABSTRACT

Source URL: www.vanbever.eu

• Computing
• Network architecture
• Computer networking
• Network protocols
• Computer network security
• Ethernet
• Streaming
• Middlebox
• Multiprotocol Label Switching
• Router
• Network address translation
• Forwarding plane

WEST Ruby B. Lee* (PI), Cynthia Irvine+, Terry Benzel#, Mung Chiang* Princeton University*, Naval Postgraduate School+, Information Science Institute/USC# NSF Grant No. CNS, CNSand CNSTrustwort

Source URL: www.cisr.us

Are Workers Better Matched in Large Labor Markets? Nikolaj A. Harmon∗ Princeton University February, 2013 Abstract

Source URL: www.econ.ku.dk

Enabling SDN in old school networks with Software-Controlled Routing Protocols Laurent Vanbever† and Stefano Vissicchio†† ? Princeton University† , Universit´e catholique de Louvain††

Source URL: www.vanbever.eu

• Computing
• Network architecture
• Computer architecture
• Routing protocols
• Internet Standards
• Emerging technologies
• Computer networking
• Software-defined networking
• OpenFlow
• Interior gateway protocol
• Link-state routing protocol
• Router

A Theory of Termination via Indirection Robert Dockins ∗ Aquinas Hobor † Princeton University

Source URL: www.comp.nus.edu.sg

© Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher. 1

Source URL: press.princeton.edu